Works by C. F. Kent

( view other items matching `C. F. Kent`, view all matches )
8 found
Order:
  1.  19
    The relation of a to prov ⌜a ⌝ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  197
    The relation of a to $\operatorname{prov} \ulcorner a \urcorner$ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295 - 298.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  19
    Jeroslow R. G.. Redundancies in the Hilbert–Bernays derivability conditions for Gödel's second incompleteness theorem.C. F. Kent - 1983 - Journal of Symbolic Logic 48 (3):875-876.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  50
    M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 , pp. 115–118.C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    Kreisel G. and Lévy A.. Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 , pp. 97–142. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):529-532.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    Parsons Charles. Hierarchies of primitive recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 , pp. 357–376. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):538-539.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  6
    Review: Charles Parsons, Hierarchies of Primitive Recursive Functions. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):538-539.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  16
    Review: G. Kreisel, A. Levy, Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):529-532.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark